(FILECREATED " 9-SEP-74 21:00:31" CFF.;2 3893   

     changes to:  OLD:PREADLIST

     previous date: " 3-SEP-74 17:49:57" CFF.;1)


  (LISPXPRINT (QUOTE CFFCOMS)
	      T)
  (RPAQQ CFFCOMS (DIALOG OLD:PREADLIST (COMS (PROP META:CODE PARTITION:BY:TAKE:ELE:AND:CLASS 
						   PARTITION:BY:TAKE:ELE:GET:CLASS))))
  (RPAQQ DIALOG ((ARCH (A B C)
		       (S A B)
		       (S C B)
		       (BLOCK A)
		       (BLOCK B)
		       (BLOCK C))
	  (TOWER (A B C D)
		 (S A B)
		 (S B C)
		 (S C D)
		 (BLOCK A)
		 (BLOCK B)
		 (BLOCK C))
	  (??? (A B C)
	       (S A B)
	       (S C B))
	  ARCH
	  (??? (A B C)
	       (S A B)
	       (S C B)
	       (BLOCK A)
	       (BLOCK C)
	       (TOUCH A C)
	       (BLOCK B))
	  NOTHING
	  (??? (A B C)
	       (BLOCK A)
	       (BLOCK B)
	       (BLOCK C))
	  NOTHING
	  (??? (A B C)
	       (BLOCK A)
	       (BLOCK C)
	       (S A B)
	       (BLOCK B))
	  NOTHING
	  (??? (A B C)
	       (TOUCH A C)
	       (TOUCH B C)
	       (BLOCK A)
	       (RED B))
	  ROW))
  (RPAQQ OLD:PREADLIST (0 (WRITE A PROGRAM WHICH DOES CONCEPT FORMATION)
			  CF NO NO PAD NO (A C)
			  NIL NIL HAS:NAME YES YES NO NIL NIL NIL NO NIL NO (A DESCRIPTION OF A STATIC SCENE)
			  NIL NO (THE FRONT PART OF ARG1 ISNT ???)
			  YES NO T NIL ELEMENT:OBJECTS NIL ELEMENT:CLASSNAME NO NIL ELEMENT:RELNS NO NIL T NO NO
			  (B)
			  NIL NIL YESNO NO NIL NIL NO YES (TEST:18 SUCCEEDED)
			  YESNO NO NIL JOIN NO NIL NO NIL NO NIL YESNO (ANY RELATION IN POSSIBLE:NAME:OF:CLASS:RELNS:22 
									    IS INCOMPATIBLE WITH ELEMENT:RELNS:15)
			  CONTRADICTS YESNO (A B C)
			  YES YES:RELNS NO:RELNS MAYBE:RELNS YESNO (A C)
			  NIL NIL CLASS:OBJECTS CLASS:CLASSNAME CLASS:YES:RELNS CLASS:NO:RELNS CLASS:MAYBE:RELNS YES NO 
			  YES ARG1 (RESULT:2 ISNT NOTHING)
			  YES T NIL YES YES YES NO YES YES YES NIL NO NIL NO NIL NO NIL NO NIL NO 1 NIL NO T NO 1 NO
			  (A C)
			  NO NIL NO NIL NO YES ARG1 (RESULT:3 ISNT NOTHING)
			  T YES YES YES YES YES NO YES YES YES T YES YES MODIFY:STRUCTURE:39 YES MODIFY:STRUCTURE:40 
			  YES MODIFY:STRUCTURE:41 YES MODIFY:STRUCTURE:42 NO NIL NO NO YES YES YES NO NIL NO NIL NO NIL 
			  NO (A)
			  NO NIL NO NO YES (EVERYTHING IN ELEMENT:OBJECTS:11 WHICH IS NOT IN 
						       POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
			  NIL NO NIL NO 2 NIL NO T NO (B)
			  NIL NO NO YES (EVERYTHING IN YES:RELNS:28 WHICH IS NOT IN ELEMENT:RELNS:15)
			  NIL NO (B)
			  NO NIL NO NO YES (EVERYTHING IN NO:RELNS:29 WHICH IS IN ELEMENT:RELNS:15)
			  NIL NO (A)
			  NO NIL NO NO YES
			  (RESULT:5 AND RESULT:6 AND EVERYTHING IN ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 
				    NO:RELNS:29 MAYBE:RELNS:30)
			  NIL YES BETTER:38 YES (A)
			  NO NIL NO YES (SOMETHING IN MAYBE:RELNS:30 WHICH IS NOT IN ELEMENT:RELNS:15)
			  (RESULT:8 ISNT NIL AND POSSIBLE:NAME:OF:CLASS ISNT NAME:OF:CLASS AND POSSIBLE:NAME:OF:CLASS 
				    ISNT NOTHING)
			  YES BETTER:38 NO (A)
			  NO NIL NO YES (SOMETHING IN ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 
						   MAYBE:RELNS:30)
			  (RESULT:8 EQUALS NIL AND RESULT:9 ISNT NIL AND POSSIBLE:NAME:OF:CLASS ISNT NOTHING AND 
				    POSSIBLE:NAME:OF:CLASS ISNT NAME:OF:CLASS)
			  YES BETTER:38 NO (B)
			  NO NIL NO YES (RESULT:8 AND RESULT:9)
			  (RESULT:10 ISNT NIL AND POSSIBLE:NAME:OF:CLASS ISNT NAME:OF:CLASS AND POSSIBLE:NAME:OF:CLASS 
				     ISNT NOTHING)
			  NO 1 (CADR ARG1)
			  NO 2 (THE FRONT PART OF ARG1)
			  NO 1 (CDDR ARG1)
			  NO 1))
(DEFLIST(QUOTE(
  (PARTITION:BY:TAKE:ELE:AND:CLASS (PROGN (TAKE:HOLD:OF ELEMENT)
					  (TAKE:HOLD:OF NAME:OF:CLASS)
					  (MODIFY:STRUCTURE NAME:OF:CLASS)))
  (PARTITION:BY:TAKE:ELE:GET:CLASS (PROGN (TAKE:HOLD:OF ELEMENT)
					  (GET:HOLD:OF NAME:OF:CLASS)
					  (MODIFY:STRUCTURE NAME:OF:CLASS)))
))(QUOTE META:CODE))
(DECLARE: DONTCOPY
  (FILEMAP (NIL)))
STOP